; TEST-ARGS: -disallow-ub-exploitation
; SKIP-IDENTITY

define i1 @src(ptr %x) {
  %y = load ptr, ptr %x, align 1, !nonnull !1
  %c = icmp eq ptr %y, null
  ret i1 %c
}

define i1 @tgt(ptr %x) {
  ret i1 false
}

!1 = !{}

; ERROR: Source has guardable UB
